FORTH, a software solution to real-time computing problems
نویسندگان
چکیده
منابع مشابه
Real-Time Computing in Software Engineering Education
An incredible growth of the computing power, advances in microelectronics, telecommunication, and new software tools and techniques do allow us to have computers controlling, displaying, supporting, even, as some would like to have, thinking for us. In addition to a well established real time applications in military, aerospace, aviation, and medical systems, nowadays the consumer electronics i...
متن کاملAvoiding Timing Problems in Real-Time Software
To safely establish the correct timing of a real-time processing node, adequate architectural structures have to be used. This refers to the hardware architecture of the processing node as well as the software architecture of its operating system and application software. This paper presents architectures that allow for a well structured and simple timing analysis. First, it presents solutions ...
متن کاملA GUI Approach to Programming of TMO Frames and Design of Real-Time Distributed Computing Software
An advanced high-level approach for programming of real-time distributed computing applications, the TMO (Time-triggered Message-triggered Object) programming and specification scheme, has been enabled without creating any new language or compiler. Instead, a middleware system named the TMO Support Middleware (TMOSM) and an API that wraps around the execution support services of TMOSM have been...
متن کاملDecision Problems for the Verification of Real-Time Software
We study two questions in the theory of timed automata concerning timed language inclusion of real-time programs modeled as timed pushdown automata in real-time specifications with just one clock. We show that if the specification B is modeled as a timed automaton with one clock, then the language inclusion problem L(A) ⊆ L(B) for a timed pushdown automaton A is decidable. On the other hand, we...
متن کاملTime-triggered real-time computing
Time-triggered (TT) distributed real-time computing systems are moving into the mainstream for the implementation of safety-critical applications in the aerospace and automotive sectors. This paper introduces the basic principles of a time-triggered real-time computing system, and elaborates on the benefits that can be gained from the availability of a global time base in general, and in specif...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Behavior Research Methods, Instruments, & Computers
سال: 1986
ISSN: 0743-3808,1532-5970
DOI: 10.3758/bf03201027